Why Intuitionistic Relevant Logic Cannot Be a Core Logic
نویسندگان
چکیده
منابع مشابه
Why Intuitionistic Relevant Logic Cannot Be a Core Logic
At the end of the eighties Tennant invented a logical system that he called “intuitionistic relevant logic” (for short IR). Now he calls this same system “Core logic”. In section 1, by reference to the rules of natural deduction for IR, I explain why IR is a relevant logic in a subtle way. Sections 2, 3 and 4 give three reasons to assert that IR cannot be a Core logic.
متن کاملAN ALGEBRAIC STRUCTURE FOR INTUITIONISTIC FUZZY LOGIC
In this paper we extend the notion of degrees of membership and non-membership of intuitionistic fuzzy sets to lattices and introduce a residuated lattice with appropriate operations to serve as semantics of intuitionistic fuzzy logic. It would be a step forward to find an algebraic counterpart for intuitionistic fuzzy logic. We give the main properties of the operations defined and prove som...
متن کاملWhy relevant chemical information cannot be exchanged without disclosing structures
Both society and industry are interested in increasing the safety of pharmaceuticals. Potentially dangerous compounds could be filtered out at early stages of R&D by computer prediction of biological activity and ADMET characteristics. Accuracy of such predictions strongly depends on the quality & quantity of information contained in a training set. Suggestion that some relevant chemical inform...
متن کاملA reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic
It is well known that the conjunction-negation fragment of the classical propositional calculus coincides with the conjunction-negation fragment of the Heyting propositional calculus (Godel, 1933; Kleene, 1952, $81). Since conjunction and negation form a sufficient basis for classical propositional logic, this reduces, in a certain sense, classical propositional logic to a fragment of Heyting p...
متن کاملIntuitionistic Logic
There are basically two ways to view intuitionistic logic: (i) as a philosoph ical–foundational issue in mathematics, (ii) as a technical discipline within mathematical logic. Let us deal with the philosophical aspects first, they will provide the motivation for the subject. In doing so, we will follow L.E.J. Brouwer, the founding father of intuitionism. Brouwer did contribute little to intuiti...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 2017
ISSN: 0029-4527
DOI: 10.1215/00294527-3839326